Languages and Programming

Results: 5418



#Item
11An application of computable distributions to the semantics of probabilistic programming languages Daniel Huang1 and Greg Morrisett2 1

An application of computable distributions to the semantics of probabilistic programming languages Daniel Huang1 and Greg Morrisett2 1

Add to Reading List

Source URL: danehuang.github.io

Language: English - Date: 2017-05-24 19:52:40
    12Essentials of Programming Languages Language VersionApril 2, 2010 The Essentials of Programming Languages language in DrScheme provides a subset of functions and syntactic forms of mzscheme—mostly the ones that

    Essentials of Programming Languages Language VersionApril 2, 2010 The Essentials of Programming Languages language in DrScheme provides a subset of functions and syntactic forms of mzscheme—mostly the ones that

    Add to Reading List

    Source URL: download.plt-scheme.org

    Language: English - Date: 2010-04-02 17:28:46
      13Constructive Algebra in Functional Programming and Type Theory Master of Science Thesis in the Programme Computer Science – Algorithms, Languages and Logic 1234567895AB45C

      Constructive Algebra in Functional Programming and Type Theory Master of Science Thesis in the Programme Computer Science – Algorithms, Languages and Logic 1234567895AB45C

      Add to Reading List

      Source URL: web.student.chalmers.se

      Language: English - Date: 2010-08-22 03:55:59
        14Title: F# Type Providers – Unleashing the Semantic Web with Programming Languages Abstract: The Semantic Web and the Linking Open Data initiative address the need for machine-readable Web content where the Web is no lo

        Title: F# Type Providers – Unleashing the Semantic Web with Programming Languages Abstract: The Semantic Web and the Linking Open Data initiative address the need for machine-readable Web content where the Web is no lo

        Add to Reading List

        Source URL: iswc2011.semanticweb.org

        Language: English - Date: 2011-09-21 14:16:02
          15BATBAMBAMMBA: Boolean and Arithmetic Languages Oregon Programming Languages Summer School Ronald Garcia 4 July

          BATBAMBAMMBA: Boolean and Arithmetic Languages Oregon Programming Languages Summer School Ronald Garcia 4 July

          Add to Reading List

          Source URL: www.cs.uoregon.edu

          Language: English - Date: 2017-07-06 17:04:21
            16A  Compiler  and  Run-­‐1me  System  for   Network  Programming  Languages   Christopher  Monsanto,  Princeton   Nate  Foster,  Cornell   Rob  Harrison,  West  Poi

            A  Compiler  and  Run-­‐1me  System  for   Network  Programming  Languages   Christopher  Monsanto,  Princeton   Nate  Foster,  Cornell   Rob  Harrison,  West  Poi

            Add to Reading List

            Source URL: frenetic-lang.org

            Language: English - Date: 2018-03-01 22:09:42
              17ACOPAL Analyse et Compilation des langages de programmation parallèles Analysis and Compilation of Parallel Programming Languages Abstract Parallel programming is increasingly important for embedded systems as well as s

              ACOPAL Analyse et Compilation des langages de programmation parallèles Analysis and Compilation of Parallel Programming Languages Abstract Parallel programming is increasingly important for embedded systems as well as s

              Add to Reading List

              Source URL: cri.mines-paristech.fr

              Language: English - Date: 2015-03-30 04:19:54
                18ASPLOS23rd International Conference on Architectural Support for Programming Languages and Operating Systems

                ASPLOS23rd International Conference on Architectural Support for Programming Languages and Operating Systems

                Add to Reading List

                Source URL: www.asplos2018.org

                - Date: 2017-10-05 21:12:08
                  19glue here Zimbu is a new, experimental programming language. It is a very practical, no-nonsense kind of language. It mixes the good things of many existing languages and then throws in a few brand new ideas to make pro

                  glue here Zimbu is a new, experimental programming language. It is a very practical, no-nonsense kind of language. It mixes the good things of many existing languages and then throws in a few brand new ideas to make pro

                  Add to Reading List

                  Source URL: www.moolenaar.net

                  - Date: 2017-12-13 14:01:10
                    20Combining Static and Dynamic Contract Checking for Curry Michael Hanus University of Kiel Programming Languages and Compiler Construction

                    Combining Static and Dynamic Contract Checking for Curry Michael Hanus University of Kiel Programming Languages and Compiler Construction

                    Add to Reading List

                    Source URL: www.sci.unich.it

                    - Date: 2017-10-23 05:14:50